En matemáticas, un espacio paracompacto es un espacio topológico en que todo recubrimiento por abiertos admite un refinamiento localmente finito.
Por refinamiento de un recubrimiento de un espacio X se entiende un nuevo recubrimiento del mismo espacio de modo que cada conjunto del nuevo recubrimiento sea un subconjunto de algún conjunto del recubrimiento original.
Un recubrimiento se dice localmente finito si todo punto del espacio tiene un entorno que interseca sólo un número finito de abiertos del recubrimiento.
Algunos autores incluyen la condición de ser Hausdorff en la definición de paracompacidad. Nosotros no la incluiremos en este artículo.